On preparation theorems for R<sub>an, exp</sub>-definable functions
نویسندگان
چکیده
In this article we give strong versions for preparation theorems $\mathbb{R}_{\textnormal{an,exp}}$-definable functions outgoing from methods of Lion and Rolin ($\mathbb{R}_{\textnormal{an,exp}}$ is the o-minimal structure generated by all restricted analytic global exponential function). By a deep model theoretic fact Van den Dries, Macintyre Marker every function piecewise given $\mathcal{L}_{\textnormal{an}}(\exp,\log)$-terms where $\mathcal{L}_{\textnormal{an}}(\exp,\log)$ denotes language ordered rings augmented functions, logarithm. So our idea to consider log-analytic at first, i.e. which are iterated compositions either side globally subanalytic logarithm, then as exponential.
منابع مشابه
On Sandwich theorems for certain classes of analytic functions
The purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. Relevant connections of the results, which are presented in the paper, with various known results are also considered.
متن کاملInteger-valued definable functions
We present a dichotomy, in terms of growth at infinity, of analytic functions definable in the real exponential field which take integer values at natural number inputs. Using a result concerning the density of rational points on curves definable in this structure, we show that if a function f : [0,∞) → R is such that f(N) ⊆ Z, then either sup|x̄|≤r f(x̄) grows faster than exp(r), for some δ > 0,...
متن کاملon sandwich theorems for certain classes of analytic functions
the purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. relevant connections of the results, which are presented in the paper, with various known results are also considered.
متن کاملPositivstellensätze for Families of Definable Functions
We present a canonical proof of both the strict and weak Positivstellensatz for rings of differentiable and smooth functions. The construction preserves definability in expansions of the real field, and it works in definably complete expansions of real closed fields as well as for real-valued functions on Banach spaces.
متن کاملDefinable Smoothing of Continuous Functions
Let R be an o-minimal expansion of a real closed field. Given definable continuous functions f : U → R and : U → (0,+∞), where U is an open subset of Rn, we construct a definable Cm-function g : U → R with |g(x)− f(x)| < (x) for all x ∈ U . Moreover, we show that if f is uniformly continuous, then g can also chosen to be uniformly continuous.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2023
ISSN: ['1759-9008']
DOI: https://doi.org/10.4115/jla.2023.15.1